//]]>
Unhighlight Highlight
Combinatorial Algorithms by Lecroq, Thierry. Publication: . XXII, 474 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by McMillan, Ken. Publication: . XIV, 794 p. 178 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hinze, Ralf. Publication: . X, 241 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Constraint Solving and Language Processing by Duchier, Denys. Publication: . XII, 179 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Pecheur, Charles. Publication: . XIV, 199 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modeling and Using Context by Brézillon, Patrick. Publication: . XII, 381 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
KI 2013: Advances in Artificial Intelligence by Timm, Ingo J. Publication: . XX, 313 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Jain, Sanjay. Publication: . XVIII, 397 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Fontaine, Pascal. Publication: . XII, 359 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming by Schulte, Christian. Publication: . XVIII, 898 p. 226 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Giachino, Elena. Publication: . X, 241 p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية